Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
401	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
402	arXiv:0804.3914v2 [cs.LO] 3 Jun[removed]Reasoning in Abella about Structural Operational Semantics Specifications Andrew Gacek1 Dale Miller2 Gopalan Nadathur1 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-06-02 21:09:43 Model theory Formal languages Theoretical computer science Interpretation Philosophy of mind Semantics Lambda calculus Structure Function Mathematics Mathematical logic Logic
403	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-03-23 17:44:22 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
404	Threshold Phenomena in Epistemic Networks Patrick Grim Group for Logic & Formal Semantics, Department of Philosophy, SUNY Stony Brook Visiting Scholar, Center for Study of Complex Systems, University of Michigan, AnnArbo Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2012-03-08 05:24:01 Structure Knowledge Complex network Small-world network Epistemology Social network Scientific method Networks Network theory Science
405	Lem: reusable engineering of real-world semantics Dominic P. Mulligan Scott Owens Kathryn E. Gray Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-11 10:57:39 Type theory Functional languages Logic in computer science Procedural programming languages Functional programming OCaml Proof assistant Coq Formal verification Software engineering Computing Programming language theory
406	Boom and Bust: Environmental Variability Favors the Emergence of Communication Patrick Grim and Trina Kokalis Group for Logic & Formal Semantics, Dept. of Philosophy, SUNY at Stony Brook [removed] Abstrac Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2007-01-13 05:31:46 Philosophy of biology Cybernetics Genetic algorithm Mathematical optimization Algorithm Ecology Culture Psychology Randomness Science Knowledge Applied mathematics
407	Separation Predicates: a Taste of Separation Logic in First-Order Logic? Fran¸cois Bobot and Jean-Christophe Filliˆatre LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-08-22 10:26:30 Formal methods Predicate logic Model theory Formal languages Predicate transformer semantics First-order logic Predicate Satisfiability Modulo Theories Functional predicate Logic Mathematics Mathematical logic
408	A note on the projection of appositives? Rick Nouwen Utrecht University 1 Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2014-01-22 15:16:05 Semantics Philosophy of language Grammar Model theory Formal languages Apposition Discourse representation theory Interpretation Conjunct Linguistics Logic Syntax
409	Common Logic in Support of Metadata and Ontologies Outline • Common Logic Add to Reading List Source URL: philebus.tamu.edu Language: English - Date: 2005-04-14 11:03:14 Predicate logic Knowledge representation Model theory Semantics Formal languages Common logic Conceptual graph First-order logic Knowledge Interchange Format Logic Science Mathematical logic
410	Domain Theory and the Logic of Observable Properties Samson Abramsky Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-03-07 07:28:20 Logic in computer science Programming language semantics Formal sciences Model theory Denotational semantics Operational semantics Semantics Proof theory Interpretation Logic Mathematical logic Theoretical computer science

UPDATE